Rapid Prototyping of a Structured Domain through Indexical Compilation
نویسنده
چکیده
We report on our experience with rapid prototyping for a new structured domain of bounded-length strings, automatically generating propagator source code from an extended indexical specification.
منابع مشابه
Towards Solver-Independent Propagators
We present an extension to indexicals to describe propagators for global constraints. The resulting language is compiled into actual propagators for different solvers, and is solver-independent. In addition, we show how this high-level description eases the proof of propagator properties, such as correctness and monotonicity. Experimental results show that propagators compiled from their indexi...
متن کاملHardware Compilation: Verification and Rapid-prototyping
The use of Field Programmable Gate Arrays (FPGA) to rapidly produce custom hardware circuits using a completely software-based process is becoming increasingly widespread. Specialized Hardware Description Languages (HDL) are used to describe and develop the required circuits. In this paper, we advocate using an even more general purpose programming language, based on Occam, for the automatic co...
متن کاملThe Use of 3d Scanning and Rapid Prototyping in Medical Engineering
New cost effective scanning and modeling techniques are used today to process data acquisition and 3D reconstruction in order to fabricate prostheses and orthoses by 3D printing. Paper approaches two scanning and 3D modeling techniques used in order to fabricate orthoses and prostheses. In this study, an artificial prosthetic ear was produced through 3D printing using two scanning techniques: s...
متن کاملSADT/IDEF0 for Augmenting UML, Agile and Usability Engineering Methods
Many experts state that: a) specifying "all the small parts of a system" and b) correct expected system usage, can make Agile Software Development more effective. Unified Modeling Method (UML) addresses the former; Usability Engineering addresses the later. Taken together, they create a systems de-velopment framework, capable of: a) specifying functions, data, behavior and usage, b) rapid proto...
متن کاملDesigning and Creating a Mouse Using Nature-Inspired Shapes
Human beings have always made their tools and instruments they need using patterns in nature. Mimicking nature has become the foundation of a new science called Biomimetics. In the present article, multiple forms and levels in nature were utilized to design and create a mouse. The rivers are a good source for choosing the shape of a mouse with lots of stones abraded through the centuries which ...
متن کامل